Automated Test Data Generation for Testing Programs with Multi-level Stack-directed Pointers
نویسندگان
چکیده
منابع مشابه
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, symbolic execution can be used to automatically generate a set of test inputs that achieves high code coverage. However, most state-of-the-art symbolic execution approaches cannot directly handle programs whose inputs ar...
متن کاملAutomated Software Test Data Generation for Complex Programs
We report on GADGET a new software test generation system that uses combinatorial optimization to obtain condition decision coverage of C C programs The GADGET system is fully automatic and supports all C C language constructs This allows us to generate tests for programs more complex than those previously reported in the literature We address a number of issues that are encountered when automa...
متن کاملAutomated Test Generation for AspectJ Programs
Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ. Automated test generation for AspectJ programs is important for reducing the manual effort in testing AspectJ programs. This position paper proposes Wrasp, a framework for automatic generation of te...
متن کاملAutomated Test Generation for Object-Oriented Programs with Multiple Targets
Software testing is costly. In particular, testing object-oriented programs is complicated and burdensome because of the difficulty in generating method sequences for creating objects and changing their states appropriately to achieve high branch coverage. Automated test generation based on static and dynamic analysis is not only an effective approach to saving time and reducing the burden of t...
متن کاملMulti-Level Description Directed Generation
The principal deficit of the direct replacement approach is its difficulties with 8ramatar, i.e. the awkwardness of maintaining an adequate representation of the grnmm~tical context, or of carrying out grammatically mediated text-level actions such as producing the correct syntactic form for an embedded clause. In other respects, however. the message-directed control flow that drives direct rep...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2010
ISSN: 1598-2866
DOI: 10.3745/kipstd.2010.17d.4.297